|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 数 ： [すう, かず] 1. (n,n-suf) number 2. figure ・ 数式 ： [すうしき] (n) numerical formula ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style ・ 処理 ： [しょり] 1. (n,vs) processing 2. dealing with 3. treatment 4. disposition 5. disposal ・ 理 ： [り] 【名詞】 1. reason
Axiom（アクシアム、公理を意味する英単語 axiom から）はフリーソフトウェアの計算機代数システムである。システムには対話型実行環境、コンパイラとライブラリが含まれており、強力な型付けによる、数学的な階層構造を持つ型を定義している。 ==開発の経緯== Axiom の開発は1971年に始まった〔Axiom 公式ホームページ 〕。開発は IBM で Richard Dimick Jenks の元で行われ、当時は Scratchpad という名前であった。開発には、バリー・トラガー (Barry Trager)、ステファン・ワット (Stephen Watt)、ジェームズ・ダベンポート (James Davenport)、ロバート・スター (Robert Sutor)、スコット・モリソン (Scott Morrison) が加わっていた。 1990年代に NAG が Scratchpad を買い取り、現在の名前 Axiom が付けられた。その後、2001年に商用製品としての販売は終了し、以降の開発、管理はティム・デイリー Tim Daly にゆだねられ、修正BSDライセンスの元で公開されている。 Axiom からは2007年に２つのプロジェクトがフォークしている。どちらもオープンソースプロジェクトであり、その一つの OpenAxiom は同年8月13日に発足し同年8月24日に最初のリリースを出している。もう一方の FriCAS 同年9月28日に最初のバージョンをリリースしている。 Axiom (本家) は数日から数週間おきにパッチの形でバージョンアップしており〔Axiom パッチ公開ページ 〕、バージョン番号を振っていない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Axiom (数式処理システム)」の詳細全文を読む スポンサード リンク
|